Double mélange des multizêtas finis et multizêtas symétrisés

Des Chaînes Et Des Antichaînes Dans Les Ensembles Ordonnés Finis

résumé – L’un des nombreux domaines dans lesquels Bruno Leclerc a travaillé et publié est celui des ensembles ordonnés. Plus précisément, il s’est fortement intéressé à des propriétés d’ensembles ordonnés relatives à des sous-structures bien particulières, les chaînes et les antichaînes. Beaucoup de problèmes de tri, de recherche et d’ordonnancement que l’on rencontre par exemple en informatiqu...

Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels

On considère des réseaux de Petri colorés, à contraintes linéaires et pouvant posséder des arcs de lecture. Sur cette classe, on définit une sémantique concurrente en termes de processus d’ordre partiel permettant de garder explicite l’indépendance entre des tirs de transitions. L’ensemble des processus peut être représenté en utilisant la notion de dépliage symbolique. Nous montrons alors comm...

Estimation robuste des modèles de mélange sur des données distribuées

This work proposes a contribution aiming at probabilistic model estimation, in the setting of distributed, decentralized, data-sharing computer systems. Such systems are developing over the internet, and also exist as sensor networks, for instance. Our general goal consists in estimating a probability distribution over a data set which is distributed into subsets located on the nodes of a distr...

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Etude sur l'Agalaxic contagieuse des chèvres et des moutons